english sentences to logical expression